Nuprl Definition : int_nzero
13,42
postcript
pdf
== {
i
:
|
i
0}
latex
clarification:
== {
i
:
|
i
0
}
latex
Up
int
1
,
int
1
Wellformedness Lemmas
int
nzero
wf
,
int
nzero
wf
Definitions
{
x
:
A
|
B
(
x
)}
,
a
b
T
,
,
#$n
FDL editor aliases
int_nzero
origin
== {i:| i 
0}
== {i:| i 0 
} == {i:| i 0}
== {i:| i 0 } b T